<?xml version='1.0'?>

<gl_extension name="GL_EXT_texture" reg_no="4">
	<tokens>
		<token name="GL_ALPHA4_EXT" value="0x803B"/>
		<token name="GL_ALPHA8_EXT" value="0x803C"/>
		<token name="GL_ALPHA12_EXT" value="0x803D"/>
		<token name="GL_ALPHA16_EXT" value="0x803E"/>
		<token name="GL_LUMINANCE4_EXT" value="0x803F"/>
		<token name="GL_LUMINANCE8_EXT" value="0x8040"/>
		<token name="GL_LUMINANCE12_EXT" value="0x8041"/>
		<token name="GL_LUMINANCE16_EXT" value="0x8042"/>
		<token name="GL_LUMINANCE4_ALPHA4_EXT" value="0x8043"/>
		<token name="GL_LUMINANCE6_ALPHA2_EXT" value="0x8044"/>
		<token name="GL_LUMINANCE8_ALPHA8_EXT" value="0x8045"/>
		<token name="GL_LUMINANCE12_ALPHA4_EXT" value="0x8046"/>
		<token name="GL_LUMINANCE12_ALPHA12_EXT" value="0x8047"/>
		<token name="GL_LUMINANCE16_ALPHA16_EXT" value="0x8048"/>
		<token name="GL_INTENSITY_EXT" value="0x8049"/>
		<token name="GL_INTENSITY4_EXT" value="0x804A"/>
		<token name="GL_INTENSITY8_EXT" value="0x804B"/>
		<token name="GL_INTENSITY12_EXT" value="0x804C"/>
		<token name="GL_INTENSITY16_EXT" value="0x804D"/>
		<token name="GL_RGB2_EXT" value="0x804E"/>
		<token name="GL_RGB4_EXT" value="0x804F"/>
		<token name="GL_RGB5_EXT" value="0x8050"/>
		<token name="GL_RGB8_EXT" value="0x8051"/>
		<token name="GL_RGB10_EXT" value="0x8052"/>
		<token name="GL_RGB12_EXT" value="0x8053"/>
		<token name="GL_RGB16_EXT" value="0x8054"/>
		<token name="GL_RGBA2_EXT" value="0x8055"/>
		<token name="GL_RGBA4_EXT" value="0x8056"/>
		<token name="GL_RGB5_A1_EXT" value="0x8057"/>
		<token name="GL_RGBA8_EXT" value="0x8058"/>
		<token name="GL_RGB10_A2_EXT" value="0x8059"/>
		<token name="GL_RGBA12_EXT" value="0x805A"/>
		<token name="GL_RGBA16_EXT" value="0x805B"/>
		<token name="GL_TEXTURE_RED_SIZE_EXT" value="0x805C"/>
		<token name="GL_TEXTURE_GREEN_SIZE_EXT" value="0x805D"/>
		<token name="GL_TEXTURE_BLUE_SIZE_EXT" value="0x805E"/>
		<token name="GL_TEXTURE_ALPHA_SIZE_EXT" value="0x805F"/>
		<token name="GL_TEXTURE_LUMINANCE_SIZE_EXT" value="0x8060"/>
		<token name="GL_TEXTURE_INTENSITY_SIZE_EXT" value="0x8061"/>
		<token name="GL_REPLACE_EXT" value="0x8062"/>
		<token name="GL_PROXY_TEXTURE_1D_EXT" value="0x8063"/>
		<token name="GL_PROXY_TEXTURE_2D_EXT" value="0x8064"/>
		<token name="GL_TEXTURE_TOO_LARGE_EXT" value="0x8065"/>
	</tokens>
</gl_extension>
